Instance Verification Kit (IVK)
spin lock @ [40718+27+/linux-3.19-rc1/drivers/net/fddi/skfp/skfddi.c]
Instance Signature: DriverLock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
fddi_isr
[18326+8+/linux-3.19-rc1/drivers/net/fddi/skfp/hwmtm.c]
llc_restart_tx
[40528+14+/linux-3.19-rc1/drivers/net/fddi/skfp/skfddi.c]
mac1_irq
[4669+8+/linux-3.19-rc1/drivers/net/fddi/skfp/drvfbi.c]
mac2_irq
[18600+8+/linux-3.19-rc1/drivers/net/fddi/skfp/fplustm.c]
mac_ring_up
[17977+11+/linux-3.19-rc1/drivers/net/fddi/skfp/fplustm.c]
skfp_interrupt
[16691+14+/linux-3.19-rc1/drivers/net/fddi/skfp/skfddi.c]